Charles Zhang - PDFSEARCH.IO - Document Search Engine

Charles Zhang
Results: 48

#	Item
21	Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints Peng Liu Charles Zhang Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-09-05 04:11:28 Concurrency Data management Information Concurrent computing Deadlock Lock Parallel computing Petri net Linearizability Concurrency control Computing Transaction processing
22	On the K-reachability Problem for Data Flow Analysis Reasoning may/must queries for combinatorial definitions Xiao Xiao, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Te Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-12-20 23:04:53 Mathematics Reachability Separable space FO Live variable analysis Applied mathematics Theoretical computer science Data-flow analysis Pointer
23	1 Mining Crosscutting Concerns through Random Walks Charles Zhang, Member, IEEE, and Hans-Arno Jacobsen, Senior Member, IEEE Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2011-07-04 05:16:24 Statistics Crowdsourcing PageRank Reputation management Search engine optimization Algorithm Pulse-code modulation Aspect-oriented programming Random walk Software development Aspect-oriented software development Computing
24	A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2014-05-26 01:03:11 Elementary mathematics Operations research Call graph Function Algorithm Graph Static single assignment form Mathematical optimization Mathematics Compiler construction Theoretical computer science
25	G-Finder: Routing Programming Questions Closer to the Experts ∗ Wei Li 1,2,3 Charles Zhang 2 Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2010-08-05 23:05:09 Internet forum Thread Computing Probability Online chat Social information processing Groupware
26	A Scaling Context Sensitive Points-to Analysis by Geometric Encoding Xiao Xiao, The Hong Kong University of Science and Technology Charles Zhang, The Hong Kong University of Science and Technology Context sensitive poin Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2014-05-26 01:03:39 Elementary mathematics Operations research Call graph Function Algorithm Graph Static single assignment form Mathematical optimization Mathematics Compiler construction Theoretical computer science
27	Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage Jinguo Zhou Xiao Xiao Charles Zhang The Prism Research Group Department of Computer Science and Engineering The Hong Kong University of Sci Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2012-05-22 11:04:10 Transaction processing Software engineering Lock Linearizability Parallel computing Extensible Storage Engine Variable Thread Concurrency control Computing Data management
28	1 Pert: The Application-aware Tailoring of Java Object Persistence Peng Liu, Charles Zhang Member, IEEE Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2011-07-01 01:45:47 Java enterprise platform Object-relational mapping Cross-platform software Persistence Persistence framework Hibernate Object database Enterprise JavaBeans ECO Computing Software engineering Object-oriented programming
29	Tracking Data Structures for Postmortem Analysis (NIER Track) Xiao Xiao, Jinguo Zhou, Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:01:34 Data types Garbage collection Pointer CPU cache Subroutine Database Debugging Profiling Forth Computing Software engineering Computer programming
30	Reemerging Rabies and Lack of Systemic Surveillance in People’s Republic of China Xianfu Wu, Rongliang Hu, Yongzhen Zhang, Guanmu Dong, and Charles E. Rupprecht Rabies is a reemerging disease in China. The high incide Add to Reading List Source URL: rabiesalliance.org Language: English - Date: 2013-07-06 05:50:09 Biology Vaccination Viral encephalitis Zoonoses Prevalence of rabies Vaccine Post-exposure prophylaxis Virology Viral disease Medicine Health Rabies